
#include "kernel.h"

static task_t tasks[MAX_TASKS];

void kernel(void)
{
  tasks[0].priority = 0;
}

